64 Final Values of Functors

نویسنده

  • Shmuel WEINBERGER
چکیده

The conjecture (and associated speculation) that I would like to present below is motivated by ideas I learnt from Goodwillie and Weiss. I present it here because I think it is also very much in the spirit of Mislin’s approach to mathematics. All of my suggestions can be discussed for categories of a certain sort and covariant functors of appropriate kinds, and dualized to contravariant functors (changing the title of this note to “initial values” of functors) and can lead to interesting objects to compute and interpret. But it will still be too general, even when we restrict attention to groups and injections, a category I’ll call G , and various of its full subcategories (which we’ll then denote by adding on an adjective). To get a feeling for this project, start with G(finite) , the category of finite groups and injections. Consider first, the functor of group homology, H . Now we can form the limit of H ( ) over the category G . Of course this category has no final finite group (under injections !). If there were, the limit considered would be H (final object) . Nevertheless, we can compute this limit easily :

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Functors Determined by Values on Objects 4 Daniela

Functors which are determined, up to natural isomorphism, by their values on objects, are called DVO (Defined by Values on Objects). We focus on the collection of polynomial functors on a category of sets (classes), and we give a characterization theorem of the DVO functors over such collection of functors. Moreover, we show that the (κ-bounded) powerset functor is not DVO.

متن کامل

Functors Induced by Cauchy Extension of C$^ast$-algebras

In this paper, we give three functors $mathfrak{P}$, $[cdot]_K$ and $mathfrak{F}$ on the category of C$^ast$-algebras. The functor $mathfrak{P}$ assigns to each C$^ast$-algebra $mathcal{A}$ a pre-C$^ast$-algebra $mathfrak{P}(mathcal{A})$ with completion $[mathcal{A}]_K$. The functor $[cdot]_K$ assigns to each C$^ast$-algebra $mathcal{A}$ the Cauchy extension $[mathcal{A}]_K$ of $mathcal{A}$ by ...

متن کامل

Set functors , L - fuzzy set categories and generalised terms

In this work we generalize previous constructions of fuzzy set categories, introduced in [5], by considering L-fuzzy sets in which the values of the characteristic functions run on a completely distributive lattice, rather than in the unit real interval. Later, these L-fuzzy sets are used to define the L-fuzzy categories, which are proven to be rational. In the final part of the paper, the L-fu...

متن کامل

Some Properties and Some Problems

We study properties of functors on categories of sets (classes) together with set (class) functions. In particular, we investigate the notion of inclusion preserving functor, and we discuss various monotonicity and continuity properties of set functors. As a consequence of these properties, we show that some classes of set operators do not admit functorial extensions. Then, starting from Aczel’...

متن کامل

Properties of Set Functors

We prove that any endofunctor on a class-theoretic category has a final coalgebra. Moreover, we characterize functors on set-theoretic categories which are identical on objects, and functors which are constant on objects.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008